A boundedly compact space is a metric space 
for which all closed bounded subsets of 
are compact. Every boundedly
compact metric space is complete.
(This is a generalization of the Bolzano-Weierstrass
theorem.)
Every complete Riemannian manifold is boundedly compact. This is part of or a consequence of the Hopf-Rinow theorem.
