Definitions of entrenching tool:

  • noun:   a hand shovel carried by infantrymen for digging trenches