Definition:Free Group/Definition 2

Definition
A group $G$ is a free group it has a presentation of the form $\gen S$, where $S$ is a set.

That is, it has a presentation without relators.

In this context, free means free of non-trivial relations.

Also see

 * Equivalence of Definitions of Free Group