Really, you should just leave them alone and let nature do its thing. But I understand lots of people care more about having a "good lawn" vs a good and healthy environment. So if you really feel the need to remove them, mulching them is slightly better.

https://www.baltimoresun.com/news/environment/bs-md-to-rake-or-not-to-rake-20191010-4bcvx7faznagrctawfbgq4pxdm-story.html