completely metrizable

Of a set, that it is metrizable and, under such given metric, completeOf a set, that it is metrizable and, under such given metric, complete.