The study of the infinite Hankel matrix acting on analytic function spaces dates back to the influential work of Nehari and Widom on the Hardy space (H^2). Since then, it has been extensively generalized to other settings such as weighted Bergman spaces, Dirichlet type spaces, and Möbius invariant function spaces. Nevertheless, several fundamental operator-theoretic questions, including the boundedness and compactness, remain unresolved in the context of the Dirichlet space. Motivated by this, via Carleson measures, the Widom type condition, and the reproducing kernel thesis, we obtain: