mate

The mate filter matches a position in which one side has been checkmated:
  mate

Examples

A sample mirror mate is from an Arestov study, found from the file mirrormate.cql

Arestov 2013, after 10. h8=N#
(found from CQL file: mirrormate.cql)