 Topological completeness

A metrizable space is topologically complete when some metric inducing its topology is complete. The given metric need not be complete: the open interval $(0,1)$ is an example. A Polish space additionally requires separability.