Right-click the Model or a Package that contains the Requirements for which you want to report, point to Report, and then click Satisfied Requirements.

Note that in addition to the Model or Package you right-click, Modeler checks Requirements in any child Packages.

Modeler adds the satisfied Requirements to the Results pane.

A Requirement is reported as satisfied when it is linked to one or more items through a satisfy link.