1: \begin{definition}

2: We will call a pair $(V,\Omega)$ a \emph{complete regular solution} to the HMAE (or in short a \emph{complete solution}) if it is a regular solution to the HMAE as in Theorem \ref{defconethm} (so in particular it is cohomologous to $\pi_X^*\omega$) such that $V$ is foliated by complete leaves of the Monge-Amp\`ere foliation, $V_0\subseteq N_Y$ and whenever $u\in V_0$ then $\tau u\in V_0$ for all $\tau \in D$.

3: \end{definition}

4: