I routinely mow up as many leaves as possible with my mulching mower
instead of removing them by other means. Never had a problem. I check
soil PH every few years and haven't seen any diff either. Mulching
them that way is conveneient and beneficial to the soil and lawn, as
long as you don't mulch too much at one time.