Let $X$ be a topological space. Let $\bar{X}$ denote a compactification of $X$ (i.e., $\bar{X}$ is a compact Hausdorff space such that $X$ is an open dense subspace of $\bar{X}$). Notice that in particular this implies that $X$ is Hausdorff. Define the diagonal $\triangle_X$ of $X$ by $$\triangle_X=\{(x,x) \in X \times X \mid x \in X\}.$$
It is a well known fact that if $X$ is a topological space, then $X$ is Hausdorff if and only if its diagonal is closed. However, I am interested in the following:
Question: Is $\triangle_X$ closed in $\bar{X} \times \bar{X}?$
Any help would be greatly appreciated.
First, minor issues: your context makes it more appropriate to say a compactification, instead of the compactification. Furthermore, it is not usual to require that $X$ is open in $\overline{X}$, but that will not make a difference.
That said, the response is that $\Delta_X$ is never closed in $\overline{X} \times \overline{X}$ (as long as $\overline{X}$ is not $X$, of course).
One way to see this is simply by handling the dense hypothesis: pick $p$ a point of $\overline{X}$ which is not in $X$. Given a neighbourhood of the form $U_1 \times U_2$ of $(p,p)$, since $X$ is dense in $\overline{X}$ it follows that there exists a $q$ in $X$ such that $q \in U_1 \cap U_2$, and thus $(q,q) \in U_1 \times U_2$. Thus $(p,p)$ is a limit point of $\Delta_X$ which is not in $\Delta_X$.
Another way is the following: suppose that $\Delta_X$ is closed in $\overline{X} \times \overline{X}$. Then it is compact, since the later is compact. Since the mapping $\pi_1: \overline{X} \times \overline{X} \to \overline{X}$ is continuous, $\pi_1(\Delta_X)=X$ is compact, a contradiction.