At our old house we had one tree in the yard, and it was only a couple years old. So we never had to deal with raking leaves at all. When we moved to our current house last year we were a little overwhelmed by the shear quantity of leaves that fell in our yard from the numerous mature trees. We basically just left them there all winter (which didn’t turn out so well come spring). This year we’ve at least been trying to rake them up, but it’s slow going. I raked the side yard for an hour and a half today and my back and sides are now aching. I have a feeling I might not be able to move tomorrow. We’ll see.
I think you can just mow them over if it not two dry. At least that is what we used to do when we lived in Urbana w/ it mature trees.