What is the name for a leather punching tool?

You can put a small hole in leather with an awl. If you need a larger hole (for a belt buckle, for example), use a leather punch. Commercial leather products, where many pieces are pierced at one time, may also be drilled.