Closed Formula

A formula $A$ is called closed or ground iff it has no free variables.