In analogy with the notion of normal closure in group theory, the smallest ideal of ${\mathfrak g}$ containing the subalgebra ${\mathfrak m}$ is indeed called the ideal closure of ${\mathfrak m}$ and denoted by ${\mathfrak m}^{\mathfrak g}$. This terminology is rather diffused in the literature: for instance, you can find it many papers by Amayo, Stewart, Towers, etc.

In analogy with the notion of normal closure in group theory, the smallest ideal of ${\mathfrak g}$ containing the subalgebra ${\mathfrak m}$ is indeed called the ideal closure of ${\mathfrak m}$ and denoted by ${\mathfrak m}^{\mathfrak g}$. This terminology is rather diffused in the literature: for instance, you can find it in many papers by Amayo, Stewart, Towers, etc.