# In predicate logic, is the “environment” only needed when free variables are present?

Suppose there exist no free variables in a given predicate logic formula. Is then a model alone sufficient to fully interpret the formula and make inferences? Don't we need an environment or variable lookup table (as often mentioned)?