Welcome to permies Adam
It depends very much on the grass variety.
If it's a running grass, it'll probably need more than leaves; but if it's just wimpy clumping stuff, a good thick layer of leaves
should do it.
I wouldn't mulch the leaves, but others might recommend it.
If you lay something high in nitrogen between the grass and leaves, it'll help speed up breakdown.
Manure, grass clippings, blood and bone, used
coffee grounds,
urine...