Yeah ! Run over them several times with a lawnmower.
Make them finer and they will leech their nutrients back into the soil, as well as adding fiber (friable)to any soil (even clay).
Chopped small(fine)can be added directly into the garden soil,
the medium added to compost pile for enrichment,
and larger leaves, dusted with topsoil for weight, used as a surface mulch for moisture retention.
Yeah, I was thinking moisture-retention too (didn’t have the term!).
Not as much left but I think enough I can make use of. Thanks.