Let $X$ be a compact metric space, $P_X$ the set of Borel probability measures on $X$, and $K_X$ the set of non-empty closed subsets of $X$. I will define the "topology of weak+Hausdorff convergence" to be the metrisable topology on $P_X$ whose convergence is given by \begin{align*} & \mu_n \overset{\text{w+H}}\to \mu \\ &\ \ \ \, \Longleftrightarrow \\ (\mu_n \to \mu \text{ weakly, and } \, \mathrm{supp}&\,\mu_n \to \mathrm{supp}\,\mu \text{ in Hausdorff distance})\text{.} \end{align*} This convergence is indeed metrisable, with a metric being given by $$ d_{\text{w+H}}(\mu,\nu) = d_\text{w}(\mu,\nu) + d_\text{H}(\mathrm{supp}\,\mu,\mathrm{supp}\,\nu) $$ where $d_\text{w}$ is any metrisation of the topology of weak convergence, and $d_\text{H}$ is Hausdorff distance.

[This is a fairly natural topology to consider when one is interested in probability measures simultaneously at the "probabilistic" level of describing the distribution of likelihoods and at the "deterministic" level of prescribing what is and is not possible.]

Although $d_\text{w}$ and $d_\text{H}$ each generate compact topologies, it is easy to see that $d_{\text{w+H}}$ is not even complete: just take $\mu_n$ to be a sequence of fully supported probability measures converging weakly to a Dirac mass; then $\mu_n$ is $d_{\text{w+H}}$-Cauchy but not (weak+Hausdorff)-convergent as $n \to \infty$. Still, it would be nice at least to be able to say that the topology of weak+Hausdorff is *Polish*, meaning that it is both separable and *admits* a complete metrisation. (So, for example, even though the Euclidean metric on $\mathbb{R} \setminus \mathbb{Q}$ is not complete, it is known that the topology on $\mathbb{R} \setminus \mathbb{Q}$ generated by the Euclidean metric *is* Polish.)

Is the topology of weak+Hausdorff convergence Polish?

As in the answer to Comparison of several topologies for probability measures, separability should be fairly easy: e.g. let $\mathcal{K}$ be a Hausdorff-dense countable subset of $K_X$, and for each $C \in \mathcal{K}$ let $\mathcal{P}_C$ be a weakly dense countable subset of the set of probability measures supported on $C$; then $\bigcup_{C \in \mathcal{K}} \mathcal{P}_C$ should be (weak+Hausdorff)-dense.

So the remaining question is that of complete metrisability: Is there a complete metric on $P_X$ topologically equivalent to $d_{\text{w+H}}$?

**My first guess:** The $\infty$-Wasserstein metric
$$ W_\infty(\mu,\nu) = \inf\{\mathbb{P}\text{-}\mathrm{ess}\sup d(\boldsymbol{\cdot},\boldsymbol{\cdot}) \, : \, \mathbb{P} \text{ is a coupling of } \mu \text{ and } \nu \} $$
generates the topology of weak-Hausdorff convergence (perhaps generalising the answer to The infinity Wasserstein distance $W_\infty$ and the weak topology) and is complete?