We present the proof of renormalization of the Hořava theory in the non projectable version. We obtain a form of the quantum action that exhibits a manifest Becchi-Rouet-Stora-Tyutin–symmetry structure. Previous analysis has shown that the divergences produced by irregular loops cancel completely between them. The remaining divergences are local. The renormalization is achieved by using the approach developed by Barvinsky et al. with the background-field formalism.