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.
