Abstract Let F be a free Leibniz algebra generated by the set X = { x 1 , … , x n } {X=\{x_{1},\dots,x_{n}\}} over the field K of characteristic 0 and let R be an ideal of F. In this study, a necessary and sufficient condition for n elements of the Leibniz algebra F / R ′ {F/R^{\prime}} to be a generating set is given.