A metric space 
is boundedly compact if 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.
