Yes, the leaves should be dry or they pack, mat, and form anaerobic pockets. I use straw from time to time, but in a wet area and when not mixed with other materials it will also pack and mat. Chopped straw is supposed to be better about that, but I've never tried it.
You are correct, don't use...