Definition:Closed Statement

Definition
Let $P$ be a statement.

$P$ is a closed statement $P$ contains only bound occurrences of any variables that may appear in it.

That is, such that it contains no free occurrences of variables.

Also see

 * Definition:Open Statement