I would recommend using a deep leaf net to get out the majority of the leaves. Using a pool vacuum and sending that much debris into your filter will just immediately clog it.
Once the majority of the debris is scooped out manually with a leaf net, then I would use your automatic pool cleaner to finish the job. If you don't have an automatic pool cleaner you can use manual pool vacuum.
Sounds like you're opening the pool for the season. Enjoy.