An explosive gas leak detector is a device used to detect explosive gas leaks in enclosed spaces. Typically, a local alarm will be triggered, and optionally a remote alarm may also be connected.