Let be a topological space. is said to be completely metrizable if there is a metric on under which is complete.
In particular, a completely metrizable space is metrizable.