セミコロンは単独で空文
式にセミコロンをつけたものが式文
それだけのこと。

文は文だから、上記2つの「セミコロンで終わる文」も含めて、全て「文」。

for文は、「for (式;式;式) 文」という形の文法が規定されていて、
区切りとしてセミコロンが採用されているだけ。