Personally I'd pull some of the leaves out too. They will rot and could start to create a bit of a smell. As Gill suggested, put them at the side of the pond for a short while to let the 'bugs' slip back in.
With my pond I had to buy a UV filter to fit in the loop with the pump and filter. I had real green pond problems. That cleared it up though. Crystal water afterwards. If you don't have fish you shouldn't need to worry too much about all the oxygen and nitrate levels, etc. You could also put a fine netting over the top of course to prevent a lot leaves getting in in the first place. Might be a bit unsightly though. Good luck with it all
