\begin{definition}[Definition:Closed Statement]
Let $P$ be a statement.
$P$ is a '''closed statement''' {{iff}} $P$ contains only bound occurrences of any variables that may appear in it.
That is, such that it contains no free occurrences of variables.
\end{definition}