hi,
I think this is a great place for your question.
I think it's your preference. DO you like natural, or clean and tidy? Or do they form a natural looking mulch like layer that you enjoy?
The leaves may add a tiny amount of organic content over time, which is probably good.